University Link - PDFSEARCH.IO - Document Search Engine

University Link
Results: 1271

#	Item
751	Abductive Reasoning with Filtered Circumscription∗ Martin Magnusson and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,jo Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:10:07 Science Reasoning Automated theorem proving Deduction Knowledge representation Frame problem Event calculus Circumscription Yale shooting problem Logic Mathematical logic Logic programming
752	DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems Fredrik Heintz and Patrick Doherty Dept. of Computer and Information Science Link¨oping University, Sweden {frehe, patdo}@ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2013-08-07 07:36:16 Object-oriented programming Computer programming Component-based software engineering Inter-process communication Database management systems Common Object Request Broker Architecture Reference Feature Application programming interface Software engineering Computing Computer vision
753	You may click on a link below to navigate to that section. Directory . ........................................... 3 Our Vision and Mission...................... 4 Founding of Bradley........................... 5 Academi Add to Reading List Source URL: www.bradley.edu Language: English - Date: 2012-05-16 14:52:42 Council of Independent Colleges Bachelor of Arts Middle States Association of Colleges and Schools Pennsylvania State University Higher education Academia Education in the United States Penn State Altoona Point Park University American Association of State Colleges and Universities Academic term Calendars
754	[removed]Faculty Senate Issues Office of Student Affairs Corse Subject Code Timeline Source: Memorandum of Agreement, Transfer of General Education Core Requirements Date: May 2010 Link: http://www.hawaii.edu/offices/ap Add to Reading List Source URL: hawaii.edu Language: English - Date: 2014-07-28 17:26:25 Asia-Pacific Association for International Education University of Hawaiʻi at Mānoa Higher education Education in the United States Hawaii Association of Public and Land-Grant Universities University of Hawaii American Association of State Colleges and Universities
755	Incremental Dynamic Controllability Revisited Mikael Nilsson and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science Link¨oping University, SE[removed]Link¨oping, Sweden {mikni,jonkv,pat Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2013-03-25 09:28:17 Constraint programming Graph Flow network Local consistency Matroid theory Graph theory Mathematics Theoretical computer science
756	Elaboration Tolerance through Object-Orientation Joakim Gustafsson and Jonas Kvarnstr¨om Department of Computer and Information Science Link¨oping University SE[removed]Link¨oping, Sweden {joagu,jonkv}@ida.liu.se Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:12:41 Computing Object Circumscription Inheritance ECO Prolog JavaScript Constructor Software engineering Object-oriented programming Computer programming
757	A Distributed Architecture for Autonomous Unmanned Aerial Vehicle Experimentation P. Doherty, P. Haslum, F. Heintz, T. Merz, P. Nyblom, T. Persson, and B. Wingman Link¨oping University Dept. of Computer and Information Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:44:17 Common Object Request Broker Architecture Flight controller Computing Software engineering Three-layer architecture Unmanned aerial vehicle
758	Classical Dynamic Controllability Revisited A Tighter Bound on the Classical Algorithm Mikael Nilsson, Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science, Link¨oping University, SE-581 Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2014-04-25 10:49:37 Applied mathematics Network flow Operations research Local consistency Flow network Bellman–Ford algorithm Decomposition method Constraint programming Theoretical computer science Mathematics
759	Introduction to: Computers & Programming: Input and Output (IO) Adam Meyers New York University Add to Reading List Source URL: nlp.cs.nyu.edu Language: English - Date: 2011-04-27 08:55:06 Scripting languages Archive formats Computer file Inter-process communication Path Symbolic link Python Tar Operating system Computing Software System software
760	Ad-Hoc Multicast Routing on Resource-Limited Sensor Nodes Bor-rong Chen, Kiran-Kumar Muniswamy-Reddy, and Matt Welsh Division of Engineering and Applied Sciences Harvard University Cambridge, MA 02138 {brchen,kiran,mdw}@ Add to Reading List Source URL: www.eecs.harvard.edu Language: English - Date: 2006-06-29 14:56:02 Routing algorithms Computing Routing Dynamic Source Routing ODMRP Wireless ad-hoc network Flooding Optimized Link State Routing Protocol Protocol Independent Multicast Wireless networking Network architecture OSI protocols

UPDATE